Optimal. Leaf size=570 \[ \frac{e^2 x \sqrt{a+c x^4}}{2 d \left (d+e x^2\right ) \left (a e^2+c d^2\right )}-\frac{\sqrt{c} e x \sqrt{a+c x^4}}{2 d \left (\sqrt{a}+\sqrt{c} x^2\right ) \left (a e^2+c d^2\right )}+\frac{\sqrt [4]{a} \sqrt [4]{c} e \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{2 d \sqrt{a+c x^4} \left (a e^2+c d^2\right )}-\frac{\sqrt [4]{a} \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} \left (\frac{\sqrt{c} d}{\sqrt{a}}+e\right ) \left (a e^2+3 c d^2\right ) \Pi \left (-\frac{\left (\sqrt{c} d-\sqrt{a} e\right )^2}{4 \sqrt{a} \sqrt{c} d e};2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{8 \sqrt [4]{c} d^2 \sqrt{a+c x^4} \left (\sqrt{c} d-\sqrt{a} e\right ) \left (a e^2+c d^2\right )}+\frac{\left (a e^2+3 c d^2\right ) \tan ^{-1}\left (\frac{x \sqrt{\frac{a e}{d}+\frac{c d}{e}}}{\sqrt{a+c x^4}}\right )}{4 d^3 e \left (\frac{a e}{d}+\frac{c d}{e}\right )^{3/2}}-\frac{\sqrt [4]{c} \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{2 \sqrt [4]{a} d \sqrt{a+c x^4} \left (\sqrt{a} e-\sqrt{c} d\right )} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.918835, antiderivative size = 713, normalized size of antiderivative = 1.25, number of steps used = 6, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238 \[ \frac{e^2 x \sqrt{a+c x^4}}{2 d \left (d+e x^2\right ) \left (a e^2+c d^2\right )}-\frac{\sqrt{c} e x \sqrt{a+c x^4}}{2 d \left (\sqrt{a}+\sqrt{c} x^2\right ) \left (a e^2+c d^2\right )}+\frac{\sqrt [4]{c} \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} \left (a e^2+3 c d^2\right ) F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{4 \sqrt [4]{a} d \sqrt{a+c x^4} \left (\sqrt{c} d-\sqrt{a} e\right ) \left (a e^2+c d^2\right )}-\frac{\sqrt [4]{a} \sqrt [4]{c} \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} \left (\frac{\sqrt{c} d}{\sqrt{a}}+e\right ) F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{4 d \sqrt{a+c x^4} \left (a e^2+c d^2\right )}+\frac{\sqrt [4]{a} \sqrt [4]{c} e \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{2 d \sqrt{a+c x^4} \left (a e^2+c d^2\right )}-\frac{\sqrt [4]{a} \left (\sqrt{a}+\sqrt{c} x^2\right ) \sqrt{\frac{a+c x^4}{\left (\sqrt{a}+\sqrt{c} x^2\right )^2}} \left (\frac{\sqrt{c} d}{\sqrt{a}}+e\right ) \left (a e^2+3 c d^2\right ) \Pi \left (-\frac{\left (\sqrt{c} d-\sqrt{a} e\right )^2}{4 \sqrt{a} \sqrt{c} d e};2 \tan ^{-1}\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}}\right )|\frac{1}{2}\right )}{8 \sqrt [4]{c} d^2 \sqrt{a+c x^4} \left (\sqrt{c} d-\sqrt{a} e\right ) \left (a e^2+c d^2\right )}+\frac{\left (a e^2+3 c d^2\right ) \tan ^{-1}\left (\frac{x \sqrt{\frac{a e}{d}+\frac{c d}{e}}}{\sqrt{a+c x^4}}\right )}{4 d^3 e \left (\frac{a e}{d}+\frac{c d}{e}\right )^{3/2}} \]
Warning: Unable to verify antiderivative.
[In] Int[1/((d + e*x^2)^2*Sqrt[a + c*x^4]),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 82.3448, size = 619, normalized size = 1.09 \[ \frac{\sqrt [4]{a} \sqrt [4]{c} e \sqrt{\frac{a + c x^{4}}{\left (\sqrt{a} + \sqrt{c} x^{2}\right )^{2}}} \left (\sqrt{a} + \sqrt{c} x^{2}\right ) E\left (2 \operatorname{atan}{\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}} \right )}\middle | \frac{1}{2}\right )}{2 d \sqrt{a + c x^{4}} \left (a e^{2} + c d^{2}\right )} - \frac{\sqrt{c} e x \sqrt{a + c x^{4}}}{2 d \left (\sqrt{a} + \sqrt{c} x^{2}\right ) \left (a e^{2} + c d^{2}\right )} + \frac{e^{2} x \sqrt{a + c x^{4}}}{2 d \left (d + e x^{2}\right ) \left (a e^{2} + c d^{2}\right )} + \frac{\left (a e^{2} + 3 c d^{2}\right ) \operatorname{atan}{\left (\frac{x \sqrt{\frac{a e}{d} + \frac{c d}{e}}}{\sqrt{a + c x^{4}}} \right )}}{4 d^{3} e \left (\frac{a e}{d} + \frac{c d}{e}\right )^{\frac{3}{2}}} - \frac{\sqrt [4]{c} \sqrt{\frac{a + c x^{4}}{\left (\sqrt{a} + \sqrt{c} x^{2}\right )^{2}}} \left (\sqrt{a} + \sqrt{c} x^{2}\right ) \left (\sqrt{a} e + \sqrt{c} d\right ) F\left (2 \operatorname{atan}{\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}} \right )}\middle | \frac{1}{2}\right )}{4 \sqrt [4]{a} d \sqrt{a + c x^{4}} \left (a e^{2} + c d^{2}\right )} - \frac{\sqrt [4]{c} \sqrt{\frac{a + c x^{4}}{\left (\sqrt{a} + \sqrt{c} x^{2}\right )^{2}}} \left (\sqrt{a} + \sqrt{c} x^{2}\right ) \left (a e^{2} + 3 c d^{2}\right ) F\left (2 \operatorname{atan}{\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}} \right )}\middle | \frac{1}{2}\right )}{4 \sqrt [4]{a} d \sqrt{a + c x^{4}} \left (\sqrt{a} e - \sqrt{c} d\right ) \left (a e^{2} + c d^{2}\right )} + \frac{\sqrt{\frac{a + c x^{4}}{\left (\sqrt{a} + \sqrt{c} x^{2}\right )^{2}}} \left (\sqrt{a} + \sqrt{c} x^{2}\right ) \left (\sqrt{a} e + \sqrt{c} d\right ) \left (a e^{2} + 3 c d^{2}\right ) \Pi \left (- \frac{\sqrt{a} \left (e - \frac{\sqrt{c} d}{\sqrt{a}}\right )^{2}}{4 \sqrt{c} d e}; 2 \operatorname{atan}{\left (\frac{\sqrt [4]{c} x}{\sqrt [4]{a}} \right )}\middle | \frac{1}{2}\right )}{8 \sqrt [4]{a} \sqrt [4]{c} d^{2} \sqrt{a + c x^{4}} \left (\sqrt{a} e - \sqrt{c} d\right ) \left (a e^{2} + c d^{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(1/(e*x**2+d)**2/(c*x**4+a)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 1.00079, size = 522, normalized size = 0.92 \[ \frac{-3 i c d^3 \sqrt{\frac{c x^4}{a}+1} \Pi \left (-\frac{i \sqrt{a} e}{\sqrt{c} d};\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )-3 i c d^2 e x^2 \sqrt{\frac{c x^4}{a}+1} \Pi \left (-\frac{i \sqrt{a} e}{\sqrt{c} d};\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )-i a e^3 x^2 \sqrt{\frac{c x^4}{a}+1} \Pi \left (-\frac{i \sqrt{a} e}{\sqrt{c} d};\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )+c d e^2 x^5 \sqrt{\frac{i \sqrt{c}}{\sqrt{a}}}-i a d e^2 \sqrt{\frac{c x^4}{a}+1} \Pi \left (-\frac{i \sqrt{a} e}{\sqrt{c} d};\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )+a d e^2 x \sqrt{\frac{i \sqrt{c}}{\sqrt{a}}}+\sqrt{c} d \sqrt{\frac{c x^4}{a}+1} \left (d+e x^2\right ) \left (\sqrt{a} e+i \sqrt{c} d\right ) F\left (\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )-\sqrt{a} \sqrt{c} d e \sqrt{\frac{c x^4}{a}+1} \left (d+e x^2\right ) E\left (\left .i \sinh ^{-1}\left (\sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} x\right )\right |-1\right )}{2 d^2 \sqrt{\frac{i \sqrt{c}}{\sqrt{a}}} \sqrt{a+c x^4} \left (d+e x^2\right ) \left (a e^2+c d^2\right )} \]
Antiderivative was successfully verified.
[In] Integrate[1/((d + e*x^2)^2*Sqrt[a + c*x^4]),x]
[Out]
_______________________________________________________________________________________
Maple [C] time = 0.032, size = 556, normalized size = 1. \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(1/(e*x^2+d)^2/(c*x^4+a)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{c x^{4} + a}{\left (e x^{2} + d\right )}^{2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(c*x^4 + a)*(e*x^2 + d)^2),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(c*x^4 + a)*(e*x^2 + d)^2),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{a + c x^{4}} \left (d + e x^{2}\right )^{2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(e*x**2+d)**2/(c*x**4+a)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{c x^{4} + a}{\left (e x^{2} + d\right )}^{2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(c*x^4 + a)*(e*x^2 + d)^2),x, algorithm="giac")
[Out]